<?php
session_start() ;

if (!isset($_SESSION['login'])) {
	header("Location: admin_login.html");
	exit;
}
?>